#include "print.h"

void main(void) {
  put_str("I am kernel\n");
  put_int(9);
  put_char('\n');
  put_int(0);
  put_char('\n');
  put_int(0x00244456a3f);
  put_char('\n');
  put_int(0x1123456);
  put_char('\n');
  put_int(0x0000000);
  put_char('\n');
  while(1);
}
